Consequences of arithmetic for set theory
نویسندگان
چکیده
منابع مشابه
Consequences of Arithmetic for Set Theory
In this paper, we consider certain cardinals in ZF (set theory without AC, the Axiom of Choice). In ZFC (set theory with AC), given any cardinals C and D, either C ≤ D or D ≤ C. However, in ZF this is no longer so. For a given infinite set A consider seq 1 1 (A), the set of all sequences of A without repetition. We compare seq 1 1 (A) , the cardinality of this set, to P(A) , the cardinality of ...
متن کاملOn Interpretations of Arithmetic and Set Theory
This would make an excellent starting point for any beginning research student working in the area of models of Peano arithmetic, since an understanding of how these interpretations work enables all coding techniques from set theory to be employed in arithmetic in a uniform way, and also places PA ‘on the map’ (in the sense of consistency and interpretation strength) relative to set theory. Thi...
متن کاملArithmetic Teichmuller Theory
By Grothedieck's Anabelian conjectures, Galois representations landing in outer automorphism group of the algebraic fundamental group which are associated to hyperbolic smooth curves defined over number fields encode all arithmetic information of these curves. The goal of this paper is to develope and arithmetic teichmuller theory, by which we mean, introducing arithmetic objects summarizing th...
متن کاملArithmetic Deformation Theory of Lie Algebras
This paper is devoted to deformation theory of graded Lie algebras over Z or Zl with finite dimensional graded pieces. Such deformation problems naturally appear in number theory. In the first part of the paper, we use Schlessinger criteria for functors on Artinian local rings in order to obtain universal deformation rings for deformations of graded Lie algebras and their graded representations...
متن کاملMechanizing Set Theory: Cardinal Arithmetic and the Axiom of Choice
Fairly deep results of Zermelo-Frænkel (ZF) set theory have been mechanized using the proof assistant Isabelle. The results concern cardinal arithmetic and the Axiom of Choice (AC). A key result about cardinal multiplication is κ⊗ κ = κ, where κ is any infinite cardinal. Proving this result required developing theories of orders, order-isomorphisms, order types, ordinal arithmetic, cardinals, e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 1994
ISSN: 0022-4812,1943-5886
DOI: 10.2307/2275247